REST_ADDR equ 0x7e00
REST_SECTOR_START equ 1
REST_SECTORS_COUNT equ 0x40

CODE_SEC_DESC equ 0x00cf9a000000ffff
DATA_SEC_DESC equ 0x00cf92000000ffff
VIDEO_SEC_DESC equ 0x00c09a0b80000007

CODE_SELECTOR equ (0x1 << 3)
DATA_SELECTOR equ (0x2 << 3)
VIDEO_SELECTOR equ (0x3 << 3)
